Higher Computing - PDFSEARCH.IO - Document Search Engine

Higher Computing
Results: 1165

#	Item
91	e-Leadership Skills for Small and Medium Sized Enterprises Country Report Italy A Snapshot and Scoreboard of e-Leadership Skills in Policy, Higher Education and the Labour Market Add to Reading List Source URL: leadership2015.eu Language: English - Date: 2015-05-20 11:10:18 Educational technology Information and communication technologies in education OpenForum Europe Computing E-Skills Week Kenan Institute Asia Information technology Technology Communication
92	HECA Annual Conference, Friday 24th April 2015 College of Computing Technology, 30-34 Westmoreland Street, Dublin 2 “ENHANCING PUBLIC PERCEPTION OF PRIVATE HIGHER EDUCATION” Welcome Add to Reading List Source URL: www.heca.ie Language: English - Date: 2015-04-24 05:21:51 Heca Chair Diarmuid Hegarty Place of birth missing Year of birth missing
93	UNIX/Linux Network Installer and Device Options Solution for: • Engineering departments • Higher education Add to Reading List Source URL: www.ricoh.nl Language: English - Date: 2015-05-30 17:48:34 Unix Linux HP-UX Book:Unix Caldera OpenLinux Software Computing System software
94	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University Add to Reading List Source URL: schemeworkshop.org Language: English - Date: 2011-08-12 16:48:16 Lambda calculus Recursion Subroutines Computability theory Theoretical computer science Higher-order abstract syntax Fixed-point combinator Scheme Continuation-passing style Software engineering Computing Computer programming
95	The provision of mobile centric services in Higher Educational Institutions: A case of lecturer readiness Baldreck Chipangura School of Computing, UNISA South Africa Judy van Biljon Add to Reading List Source URL: developmentinformatics.org - Date: 2014-12-12 13:55:26
96	Reflection without Remorse Revealing a hidden sequence to speed up monadic reflection Atze van der Ploeg Oleg Kiselyov Add to Reading List Source URL: okmij.org Language: English - Date: 2014-06-24 05:23:23 Functional programming Data types Type theory Higher-order functions Adjoint functors Monad Pattern matching Type system List Software engineering Declarative programming Computing
97	Balancing lists: a proof pearl? Guyslain Naves1 and Arnaud Spiwack2 1 Aix Marseille Université, CNRS, LIF UMR 7279, 13288, Marseille, France Add to Reading List Source URL: assert-false.net Language: English - Date: 2014-06-13 08:06:32 Recursion Higher-order functions Functional languages Mathematical logic Computability theory Binary tree Map Tree Binary search tree Computer programming Computing Software engineering
98	Combining Deep and Shallow Embedding for EDSL Josef Svenningsson and Emil Axelsson Chalmers University of Technology {josefs,emax}@chalmers.se Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-11-28 10:50:59 Data types Functional programming Type theory Higher-order functions Control flow Fold Map Generalized algebraic data type Eval Software engineering Computing Computer programming
99	About This tutorial gives an overview of how Cytoscape and CytoscapeRPC can be used to visualize networks. It assumes you have Cytoscape and CytoscapeRPC (version 1.4 or higher) installed and working. Details on how to Add to Reading List Source URL: wiki.nbic.nl Language: English - Date: 2011-04-13 09:32:01 Cytoscape Mathematical and theoretical biology Systems biology Science XML-RPC Social network analysis software Software Computing Cross-platform software
100	Higher Ed. Student Guide Students who are members of a Higher Ed Organization hold Basic accounts. Being a member of an Organization makes it easy to interact with instructors and classmates. This Guide is written specif Add to Reading List Source URL: voicethread.com Language: English - Date: 2014-07-22 19:40:31 Authentication Internet Computing Security Password Email

UPDATE